Наукова електронна бібліотека
періодичних видань НАН України

Перегляд за автором "Летичевский, А.А. (мл.)"

Репозиторій DSpace/Manakin

Перегляд за автором "Летичевский, А.А. (мл.)"

Сортувати за: Порядок: Результатів:

  • Алгоритм трансляции APLAN-кода 
    Летичевский, А.А.; Летичевский, А.А. (мл.); Песчаненко, В.С. (Управляющие системы и машины, 2010)
    Рассмотрен алгоритм трансляции APLAN-кода в системе алгебраического программирования APS с использованием методов инсерционного моделирования.
  • Парадигмы модельного и символьного тестирования программных систем 
    Летичевский, А.А. (мл.) (Кибернетика и системный анализ, 2015)
    Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...
  • Система доказательного программирования 
    Летичевский, А.А. (мл.); Мороховец, М.К.; Песчаненко, В.С. (Управляющие системы и машины, 2012)
    Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы ...
  • Эксперименты с дедуктивным тестированием реактивных систем 
    Летичевский, А.А. (мл.) (Математичні машини і системи, 2013)
    Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть ...